Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 11 results
Sort by: relevance publication year

FUNCTIONAL-SEMANTIC NETS — THE UNIVERSAL FORMALISM FOR DEFINING, DESIGNING AND ESTIMATING THE QUALITY OF FUNCTIONING OF MAN-MACHINE SYSTEMS

BOOK CHAPTER published 1989 in Analysis, Design and Evaluation of Man–Machine Systems 1988

Authors: A.I. Gubinsky | A.N. Adamenko

https://doi.org/10.1016/b978-0-08-036226-7.50074-0 Actions

Non-deterministic Boolean Proof Nets

BOOK CHAPTER published 2010 in Foundational and Practical Aspects of Resource Analysis

Authors: Virgile Mogbil

https://doi.org/10.1007/978-3-642-15331-0_9 Actions

A Shape Analysis for Non-linear Data Structures

BOOK CHAPTER published 2010 in Static Analysis

Authors: Renato Cherini | Lucas Rearte | Javier Blanco

https://doi.org/10.1007/978-3-642-15769-1_13 Actions

An object oriented approach in building an environment for simulation and analysis based on timed Petri nets with multiple execution policies

PROCEEDINGS ARTICLE published in Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems

Authors: G. Manduchi | M. Moro

https://doi.org/10.1109/mascot.1994.284403 Actions

Flux Norm Approach to Finite Dimensional Homogenization Approximations with Non-Separated Scales and High Contrast

JOURNAL ARTICLE published November 2010 in Archive for Rational Mechanics and Analysis

Authors: Leonid Berlyand | Houman Owhadi

https://doi.org/10.1007/s00205-010-0302-1 Actions

An Approach for Class Testing from Class Contracts

BOOK CHAPTER published 2010 in Automated Technology for Verification and Analysis

Authors: Atul Gupta

https://doi.org/10.1007/978-3-642-15643-4_16 Actions

A Non Bayesian Predictive Approach for Functional Calibration

BOOK CHAPTER published 2012 in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Authors: Noslen Hernández | Rolando J. Biscay | Isneri Talavera

https://doi.org/10.1007/978-3-642-33275-3_96 Actions

A New Geometrical BSS Approach for Non Negative Sources

BOOK CHAPTER published 2010 in Latent Variable Analysis and Signal Separation

Authors: Cosmin Lazar | Danielle Nuzillard | Ann Nowé

https://doi.org/10.1007/978-3-642-15995-4_66 Actions

Towards Non Invasive Diagnosis of Scoliosis Using Semi-supervised Learning Approach

BOOK CHAPTER published 2010 in Lecture Notes in Computer Science

Authors: Lama Seoud | Mathias M. Adankon | Hubert Labelle | Jean Dansereau | Farida Cheriet

https://doi.org/10.1007/978-3-642-13775-4_2 Actions

A Functional Density-Based Nonparametric Approach for Statistical Calibration

BOOK CHAPTER published 2010 in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Authors: Noslen Hernández | Rolando J. Biscay | Nathalie Villa-Vialaneix | Isneri Talavera

https://doi.org/10.1007/978-3-642-16687-7_60 Actions

Speaker Verification in Noisy Environment Using Missing Feature Approach

BOOK CHAPTER published 2010 in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Authors: Dayana Ribas | Jesús A. Villalba | Eduardo Lleida | José R. Calvo

https://doi.org/10.1007/978-3-642-16687-7_32 Actions
Feedback: support@crossref.org